Core Subjects Theoretical Foundations of SSE

ModuleLV TypeCPLVDatesExamination
ErfüllbarkeitsüberprüfungFach-/Modulprüfung6515602
Vorlesung/Übung511645Mo 08:30-10:00 AH I (2350|028) (×13)
Mo 16:30-17:15 5056 (2356|056) (×14)
Di 08:30-10:00 AH V (2356|050) (×13)
Formale Grundlagen von UMLFach-/Modulprüfung6518548
Formale Methoden für SteuerungssoftwareFach-/Modulprüfung6514596
Fach-/Modulprüfung516576
Model CheckingFach-/Modulprüfung6518530
Vorlesung521373Mi 12:30-14:00 AH I (2350|028) (×12)
Do 10:30-12:00 AH III (2350|314.1) (×14)
Übung521372Mo 12:30-14:00 5056 (2356|056) (×1)
Di 10:45-13:15 5056 (2356|056) (×1)
Do 08:30-10:00 AH III (2350|314.1) (×10)
Do 09:55-12:30 5056 (2356|056) (×1)